
function changeTheme(theme) {
	document.location.href = "?theme=" + theme;
}

function changeLanguage(lang) {
	document.location.href = "?lang=" + lang;
}